Initial algebra - PDFSEARCH.IO - Document Search Engine

Initial algebra
Results: 96

#	Item
81	Derived Algebraic Geometry I: Stable ∞-Categories October 8, 2009 Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2009-10-08 17:38:57 Homotopy theory Homological algebra Triangulated category Functor Adjoint functors Initial and terminal objects Universal property Coproduct Image Abstract algebra Category theory Mathematics
82	LNCS[removed]Build, Augment and Destroy, Universally Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2004-10-21 01:26:05 Functional programming Higher-order functions Fold Recursion Limit Initial algebra Adjoint functors Map Cone Category theory Mathematics Declarative programming
83	Meta-Theory a` la Carte Benjamin Delaware Add to Reading List Source URL: users.ugent.be Language: English - Date: 2013-08-13 06:31:25 Algebra Type theory Initial algebra F-algebra Von Neumann algebra Mathematical proof Algebraic structure PRO Mathematics Functional programming Category theory
84	Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-11-14 10:13:24 Mathematics Linear temporal logic Temporal logic Monad Limit Initial and terminal objects Functor Modal logic Cone Category theory Abstract algebra Adjoint functors
85	On Categories of Monoids, Comonoids, and Bimonoids Hans–E. Porst∗ Add to Reading List Source URL: www.math.uni-bremen.de Language: English - Date: 2008-06-09 05:49:04 Monoidal categories Adjoint functors Functors Monoid Limit Initial and terminal objects Monad Equivalence of categories PRO Category theory Algebra Abstract algebra
86	Limits of small functors Brian J. Day Mathematics Department Add to Reading List Source URL: maths.mq.edu.au Language: English - Date: 2010-07-27 22:21:29 Functors Sheaf theory Adjoint functors Initial and terminal objects Limit Presheaf Sheaf Grothendieck topology Filtered category Category theory Abstract algebra Mathematics
87	Fibred Data Types Neil Ghani, Lorenzo Malatesta Add to Reading List Source URL: cs.swan.ac.uk Language: English - Date: 2013-05-02 18:57:40 Functors Algebraic topology Sheaf Limit Coproduct Initial and terminal objects Subcategory Cartesian closed category Diagram Category theory Abstract algebra Mathematics
88	PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO Add to Reading List Source URL: www.math.unipa.it Language: English - Date: 2009-02-01 11:27:30 Sheaf theory Sheaf Functor Topos Grothendieck topology Presheaf Initial and terminal objects Adjoint functors Zermelo–Fraenkel set theory Category theory Mathematics Abstract algebra
89	Categories of Containers Michael Abbott1 , Thorsten Altenkirch2, and Neil Ghani1 2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:34:31 Limit Adjoint functors Coproduct Equivalence of categories Product Cartesian closed category Initial and terminal objects Natural transformation Sheaf Category theory Abstract algebra Functors
90	PDF Document Add to Reading List Source URL: www.cs.ut.ee Language: English - Date: 2000-09-03 05:10:55 Category theory Functional programming Theoretical computer science Recursion Type theory Initial algebra Apomorphism Catamorphism Haskell Software engineering Computer programming Declarative programming

UPDATE